push-down automaton, PDA

下推自动机